bikonditsionaal 1(n)

propositsioon kujul "kui p, siis q ja kui q, siis p