Задания к практической работе. Задание 1 1 F=AvBv (AVC) 16 FACB A 2 F=A→BvC 17 F=ACB A 3 F=BV(AC) 18 F=(AC)v(B→A) 4 F=BV(AC) 19 F=ACV(BA) 5 F=AB BAC 20 F=A(CVBA) 6 F=ABBVC 21 F=(AC)BA 7 F=(AVB)v(AC) 22 F=A(CVBA) 8 F=(A→B)VC 23 F=A^(BC)AC 9 F=BVC AVC 24 F=A^(BA)VC 10 F=B(A^C→B) 25 F=(CVB)v(AVC) 11 F=AvBBVC 26 F=ABV(CB) 12 F=ABBvC 27 F=(ABB)^(CVA) 13 F=A→BV(AVC) 28 F=BV(AC)^C 14 F=ABBVC 29 F=AB BAC 15 F=BV(AC)^A 30 F=ABBVC Задание 2 1 (A+B) ABV C 16 BV (ACB) AC 2 (A→B) ACV BC 17 (AC → B) ABC 3 (ACB) AC 18 (AC)(BC→AB) 4 ABV (AC)B 19 (B→C)v(BAC) 5 (A→B)(ACVBC) 20 (ABC)v AV AC 6 (AC) AB VAC 21 (AC) (AB→C) 7 (AC) ABV BC 22 ABC ABC 8 (CB) ACV BC 23 (AB→C) AC 9 (BC→A) AC 24 ABC (AC) 10 (ABC) AC 25 (AB) (A→BC) 11 (AC)(BCVAB) 26 A→B)(CAB) 12 (AB)(ABC) 27 (ABC) ABV BC 13 (BC)AB VAC 28 (AC) ABBC 14 (ABC)ABBC 29 (AB) (BAC) 15 (ACB) BC 30 (ABC)ABC

Разберу каждое задание по порядку.

Задание 1

1. $$F = A \lor B \lor (\overline{A} \land C)$$
2. $$F = A \rightarrow B \lor C$$
3. $$F = \overline{B} \lor (A \land \overline{C})$$
4. $$F = \overline{B} \lor (A \land \overline{C})$$
5. $$F = A \land \overline{B} \rightarrow B \land \overline{A} \land C$$
6. $$F = A \land \overline{B} \rightarrow \overline{B} \lor \overline{V} \land C$$
7. $$F = (A \lor \overline{B}) \lor (\overline{A} \rightarrow \overline{C})$$
8. $$F = (A \rightarrow \overline{B}) \lor C$$
9. $$F = \overline{B} \lor \overline{V} \leftrightarrow A \land \overline{V} \land \overline{C}$$
10. $$F = \overline{B} \lor (A \land \overline{C} \rightarrow \overline{B})$$
11. $$F = A \lor \overline{V} \rightarrow \overline{B} \lor \overline{V} \land C$$
12. $$F = A \land \overline{B} \leftrightarrow \overline{B} \lor \overline{V} \land C$$
13. $$F = A \rightarrow \overline{B} \lor (\overline{A} \land \overline{V} \land C)$$
14. $$F = A \land \overline{B} \rightarrow \overline{B} \lor \overline{V} \land C$$
15. $$F = \overline{B} \lor (\overline{A} \leftrightarrow \overline{C}) \land A$$
16. $$F = A \leftrightarrow \overline{C} \lor \overline{B} \rightarrow A$$
17. $$F = A \leftrightarrow \overline{C} \lor \overline{B} \rightarrow \overline{A}$$
18. $$F = (A \leftrightarrow \overline{C}) \lor (\overline{B} \rightarrow A)$$
19. $$F = A \leftrightarrow \overline{C} \lor (\overline{B} \rightarrow A)$$
20. $$F = A \leftrightarrow (\overline{C} \lor \overline{B} \rightarrow A)$$
21. $$F = (\overline{A} \leftrightarrow \overline{C}) \lor \overline{B} \rightarrow A$$
22. $$F = \overline{A} \leftrightarrow (\overline{C} \lor \overline{B} \rightarrow A)$$
23. $$F = A \land (\overline{B} \leftrightarrow \overline{C}) \land A \land \overline{C}$$
24. $$F = A \land (\overline{B} \leftrightarrow A) \lor \overline{V} \land C$$
25. $$F = (\overline{C} \lor \overline{V} \land \overline{B}) \lor (A \lor \overline{V} \land C)$$
26. $$F = A \rightarrow \overline{B} \lor (\overline{C} \rightarrow \overline{B})$$
27. $$F = (A \land \overline{B} \rightarrow \overline{B}) \land (\overline{C} \lor \overline{V} \land \overline{A})$$
28. $$F = \overline{B} \lor (A \leftrightarrow \overline{C}) \land A \land \overline{C}$$
29. $$F = A \land \overline{B} \rightarrow \overline{B} \land \overline{A} \land \overline{C}$$
30. $$F = A \land \overline{B} \rightarrow \overline{B} \lor \overline{V} \land C$$

Задание 2

1. $$(A \leftrightarrow \overline{B}) \lor A \overline{B} \lor \overline{V} \land C$$
2. $$(A \rightarrow \overline{B}) \land A \overline{C} \lor \overline{V} \land B \land \overline{C}$$
3. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \land A \land \overline{C}$$
4. $$A \overline{B} \lor \overline{V} \land (\overline{A} \leftrightarrow \overline{C} \overline{B})$$
5. $$(\overline{A} \rightarrow \overline{B} \overline{V}) (\overline{A} \leftrightarrow \overline{C} \lor \overline{V} \land B \land \overline{C})$$
6. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \land A \overline{B} \lor \overline{V} \land A \overline{C}$$
7. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \land A \overline{B} \lor \overline{V} \land B \land \overline{C}$$
8. $$(\overline{C} \overline{B}) \land A \overline{C} \lor \overline{V} \land B \land \overline{C}$$
9. $$(\overline{B} \overline{C} \rightarrow A \overline{B}) \land A \land \overline{C}$$
10. $$(\overline{A} \overline{B} \rightarrow \overline{C} \overline{B}) \land A \land \overline{C}$$
11. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) (\overline{B} \overline{C} \lor \overline{V} \land A \overline{B})$$
12. $$(\overline{A} \overline{B}) (\overline{A} \leftrightarrow \overline{B} \overline{C})$$
13. $$(\overline{B} \overline{C}) \land A \overline{B} \lor \overline{V} \land A \overline{C}$$
14. $$(\overline{A} \overline{B} \rightarrow \overline{C} \overline{B}) \land A \overline{B} \lor \overline{V} \land \overline{B} \overline{C}$$
15. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \land \overline{B} \overline{C}$$
16. $$B \lor \overline{V} \land (A \leftrightarrow \overline{C} \overline{B}) \land A \land \overline{C}$$
17. $$(\overline{A} \overline{C} \rightarrow \overline{B} \overline{V}) \land A \overline{B} \overline{C}$$
18. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) (\overline{B} \overline{C} \rightarrow A \overline{B})$$
19. $$(\overline{B} \rightarrow \overline{C}) \lor \overline{V} \land (\overline{B} \rightarrow A \overline{C})$$
20. $$(A \overline{B} \rightarrow \overline{C} \overline{B}) \lor \overline{V} \land A \lor \overline{A} \overline{C}$$
21. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \lor \overline{V} \land (A \overline{B} \rightarrow \overline{C} \overline{B})$$
22. $$A \overline{B} \overline{C} \rightarrow \overline{A} \overline{B} \overline{C}$$
23. $$(\overline{A} \overline{B} \rightarrow \overline{C} \overline{B}) \lor \overline{V} \land A \land \overline{C}$$
24. $$A \overline{B} \overline{C} \overline{B} (\overline{A} \leftrightarrow \overline{C} \overline{B})$$
25. $$(\overline{A} \overline{B}) (A \rightarrow \overline{B} \overline{C})$$
26. $$A \rightarrow \overline{B} \overline{B}) (\overline{C} \rightarrow A \overline{B})$$
27. $$(\overline{A} \rightarrow \overline{B} \overline{C} \overline{B}) \lor \overline{V} \land A \overline{B} \lor \overline{V} \land B \land \overline{C}$$
28. $$(\overline{A} \leftrightarrow \overline{C} \overline{B}) \lor \overline{V} \land A \overline{B} \lor \overline{V} \land B \land \overline{C}$$
29. $$(\overline{A} \rightarrow \overline{B} \overline{B}) (\overline{B} \overline{A} \rightarrow \overline{C} \overline{B})$$
30. $$(\overline{A} \overline{B} \rightarrow \overline{C} \overline{B}) \lor \overline{V} \land A \overline{B} \overline{C}$$

Ответ: Решения заданий приведены выше.