Тот кто изучал геометрию знает теорему Пифагора

Выделим простые суждения в составе сложного и обозначим их с помощью символов:
a – Тот, кто изучал геометрию
b – (кто-то) знает теорему Пифагора
c – (кто-то) слышал о теореме Пифагора
d – понять теорему Пифагора .
Простые суждения связывают в сложное с помощью основной в данном высказывании условной связки (импликации), разделительной – дизъюнкции в ее варианте нестрогой дизъюнкции, соединительной - конъюнкции.
Символическая форма суждения: (a→(b˅c))˄(¬b˄(a→d))