Question

Определите истинное значение следующих сложных высказываний.

Пусть A –истинное высказывание, B – ложное высказывание.

1) F=(A / B) => ¬A
2) F=(A / B) => B
3) F=A => (A / B)
4) F=¬(A => (A / B))
5 )F= ¬A => (B => A)
6) F=(A => B) / (B => A)
7) F=(((A / B) => ¬A) / ((A / B) => B))

Answer 1

A=1, B=0
1) F=(A / B) => ¬A = ¬( 1+0) +¬1=0∨0=0
2) F=(A / B) => B =¬(A / B) ∨B=¬(1*0)∨0 =1
3) F=A => (A / B)=¬1∨(1∧0)=0∨0=0
4) F=¬(A => (A / B))=¬(¬1∨(1∨0))=0
5 )F= ¬A => (B => A)=¬(¬A)∨(¬В∨А))=1∨1=1
6) F=(A => B) / (B => A)=(¬1∨0)∧(¬0∨1)=0
7) F=(((A / B) => ¬A) / ((A / B) => B))=(¬1∨¬1)∧(¬(1∧0)∨0)=0