% !TEX TS-program = pdflatex
% !TEX encoding = UTF-8 Unicode
\documentclass[11pt]{article} % use larger type; default would be 10pt
\geometry{vmargin=0.3in,hmargin=0.25in} % for example, change the margins to 2 inches all round
%\usepackage[parfill]{parskip} % Activate to begin paragraphs with an empty line rather than an indent

\section*{Zadanie 1c}
\begin{center}$(p\Rightarrow q) \Rightarrow (q\Rightarrow p)$\\
\begin{tabular}{c c}
APN & $(p\land q)\lor(p\land \neg q)\lor(\neg p \land \neg q)$\\
KPN & $(p\lor \neg q)$

\section*{Zadanie 2c}

(p\Rightarrow q) &\Leftrightarrow (p\land \neg q)\\
\neg p \lor q &\Leftrightarrow p\land \neg q\\
(\neg p \lor q \Rightarrow p \land \neg q) &\land (p \land \neg q \Rightarrow \neg p \lor q)\\
[\neg(\neg p \lor q) \lor (p\land \neg q)] &\land [\neg(p\land\neg q)\lor(\neg p\lor q)]\\
[(p\land \neg q) \lor (p\land \neg q)] &\land [(\neg p\lor q)\lor(\neg p\lor q)]\\
(p\land\neg q)&\land(\neg p \lor q)\\
p\land\neg q&\land(\neg p\lor q)&\text{KPN}\\
(p\land\neg q)&\land(\neg p \lor q)\\
(\neg p \land p \land \neg q) &\lor (q\land p \land\neg q)&\text{APN}

\section*{Zadanie 3c}

p\land q &\Rightarrow r\\
\neg(p\land q)&\lor r\\
\neg p \lor r &\lor \neg q \lor r\\
(\neg p \lor r) &\lor (\neg q \lor r)\\
(p\Rightarrow r)&\lor(q\Rightarrow r)&\square