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/)
Pamiętaj: alfabet KRZ składa się ze zmiennych zdaniowych (takich jak p, q, r, s i ich wersji z indeksem), spójników ¬∧∨→↔ oraz okrągłych nawiasów ) (. CZYLI: NIE UŻYWAJ ŻADNYCH INNYCH SYMBOLI I NIE RÓB SPACJI MIĘDZY ZNAKAMI