Legenda: p - Piotr się gniewa; q - jest burza za oknem; r - Bartek pije piwo, s - pada deszcz. Przetłumacz poniższe zdania na KRZ (w tym celu użyj tego narzędzia:
https://math.typeit.org/). Na oznaczenie spójników użyj WYŁĄCZNIE tych symboli: ¬∧∨→↔ NIE RÓB SPACJI MIĘDZY ZNAKAMI