rachunek zdań soma: Jak zamienić zdanie "Jak Kuba Bogu tak Bóg Kubie." na formułę klasycznego rachunku zdań? Dla tego zdania nie potrafię określić nawet formuł atomowych.

Leszek: ( K ⇒ B )⇔ ( B ⇒ K )