Логическая равносильность формул

Слайд 2

Слайд 3

Слайд 4

Слайд 5

Слайд 6

Слайд 7

Нормальные формы формул алгебры высказываний

Нормальные формы формул алгебры высказываний

Слайд 8

Слайд 9

Слайд 10

Слайд 11

Слайд 12

Слайд 13

Слайд 14

Слайд 15

Слайд 16

Слайд 17

Логическое следование формул

Логическое следование формул

Слайд 18