👤

(p' => q) v (p => q)'​