А ∧ В
«Учащийся Иванов хорошо успевает
по английскому языку и любит работать на компьютере»
А ∨ В
«Учащийся Иванов хорошо успевает
по английскому языку или любит работать на компьютере»
А ∧ ¬В
«Учащийся Иванов хорошо успевает
по английскому языку и не любит работать на компьютере»
¬(А ∧ В)
«не (учащийся Иванов хорошо успевает по английскому языку и любит работать на компьютере)» ≡
«Учащийся Иванов плохо успевает по английскому языку и не любит работать на компьютере»
А → В
«учащийся Иванов хорошо успевает
по английскому языку, поэтому он любит работать на компьютере»
А → ¬В
«учащийся Иванов хорошо успевает
по английскому языку, поэтому он не любит работать на компьютере»
В → А
«учащийся Иванов хорошо успевает
по английскому языку, потому, что он любит работать на компьютере»
¬p
¬(¬p)
«Я не учусь в школе»
«не(Я не учусь в школе)» ≡ «Я учусь в школе»
«Я учусь в школе и люблю информатику»
«Я учусь в школе и не люблю информатику»
«Я учусь в школе или люблю информатику»
«Я не учусь в школе или люблю информатику»
«Я не учусь в школе или я не люблю информатику»
«Я люблю информатику, потому, что учусь в школе»
p ∧ q
p ∧ ¬q
p ∨ q
¬p ∨ q
¬p ∨ ¬q
q → p
А ∧ В, где А = «45 кратно 3», В = «42 кратно 3»
А ∧ ¬В, где А = «45 кратно 3», В = «12 кратно 3»
А ∨ В, где А = «2 < 5», В = «2 = 5»
(A ∧ В) → С, где А = «212 делится на 3»,
В = «212 делится на 4» и С = «212 делится на 12»
А ∧ В ∧ С, где А = «212 – трехзначное число», В = «212 делится на 3» и С = «212 делится на 4»
истина
ложь
истина
истина
Таблицы истинности
истина
ложь
истина
истина
ложь
истина
истина
истина
Таблицы истинности
а ∧ с
а ∧ d
b ∧ c
c ∧ d
ложь
истина
ложь
ложь
а ∨ с
а ∨ d
b ∨ c
c ∨ d
истина
истина
ложь
истина
¬а
¬b
¬c
¬d
ложь
истина
истина
ложь
¬(p ∧ (p ⇔ ¬p))
(p → p) ∨ ¬p
p ⇔ p ∧ (¬p → p ∧ p)
p ∧ (p ⇔ ¬p)
¬(¬p → p)
¬(p ⇔ ¬p)
(p ∨ p) → (p ∧ p)
x ∧ (y ∧ z)
Таблицы истинности
(x ∧ y) ∧ z
Таблицы истинности
x → (y → z)
Таблицы истинности
x ∧ y → z
Таблицы истинности
(x ∧ y) ⇔ (z ∨ ¬y)
Таблицы истинности
((x ∨ y) ∧ z) ⇔ ((x ∧ z) ∨ (y ∧ z))
Таблицы истинности
(А ∧ В) ∨ (А ∧ ¬В)
Таблицы истинности
(А ∨ ¬А) ∧ В
Таблицы истинности
А ∧ (А ∨ В) ∧ (В ∨ ¬В)
Таблицы истинности
A ∨ (А ∧ B)
0
0
1
1
A ∧ (А ∨ B)
0
0
1
1
¬(A ∨ B)
1
0
0
0
¬A ∧ ¬B
1
0
0
0
¬(A ∧ B)
1
1
1
0
¬A ∨ ¬B
1
1
1
0
М1·И1·Ф2 ∨ М1·И3·Ф2 ∨ М2·И1·Ф2 ∨ М2·И3·Ф2 ∨
∨ М1·И1·Ф3 ∨ М1·И3·Ф3 ∨ М2·И1·Ф3 ∨ М2·И3·Ф3
(¬(А ∨ В) ∨ ¬А) ∧ (¬(¬А) ∨ (А ∨ В) ) ∨ ¬(¬А)
((¬А ∧ ¬В) ∨ ¬А) ∧ (А ∨ (А ∨ В)) ∨ А ⇒
((¬А ∨ ¬А) ∧ (¬В ∨ ¬А)) ∧ (А ∨ А ∨ В ∨ А) ⇒
(¬А ∧ (¬В ∨ ¬А)) ∧ (А ∨ В) ⇒
¬А ∧ (А ∨ В) ⇒
(¬А ∧ А) ∨ (¬А ∧ В) ⇒
¬А ∧ В
Т.о. выражение ¬А ∧ В соответствует высказыванию:
«Физика в кабинете 1 и информатика в кабинете 2»
(К·¬Ж ∨ ¬К·Ж) ∧ (Ж·¬Д ∨ ¬Ж·Д) ∧ (Д·¬К·¬Ж ∨ ¬Д·(К ∨ Ж))
(A ∧ ¬E) ∧ (B ∧ D) ∧ (A ∨ B) ∧ (¬D ∨ ¬E) ⇒
⇒ A¬EBD ∧ (A ∨ B) ∧ (¬D ∨ ¬E) ⇒
⇒ A¬EBD ∧ (A¬D ∨ A¬E ∨ B¬D ∨ B¬E) ⇒
⇒ A¬EBD ∨ A¬EBD ⇒ A¬EBD
Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть