р | q | P=q |
и | и | и |
и | л | л |
л | и | л |
л | л | и |
В заключение приведем сводную таблицу условий истинности сложных суждений (рис. 36).
р | q | PAq | pvq | p¥q | P-»q | p=q |
и | И | И | И | Л | И | И |
и | Л | Л | И | И | Л | Л |
л | И | л | И | И | И | Л |
л | Л | л | Л | л | И | И |
Рис.36