8) Είναι το σύνολο { p q , q r , r ( q p ) , p r q } ικανοποιήσιμο ;
Απάντηση
Έχουμε τον πίνακα αληθείας :
Παρατηρούμε ότι υπάρχει αποτίμηση που ικανοποιεί το σύνολο, για παράδειγμα η με ( p ) = ( q ) = ( r ) = A και η    με ( p ) = ( q ) = ( r ) = Ψ. Άρα το σύνολο είναι ικανοποιήσιμο.

Επιστροφή