Buy Me a Coffee at ko-fi.com

Simplification

inference in propositional logic

Pronunciation
/ˌsɪmplɪfɪˈkeɪʃən/
/ˌsɪmpləfəˈkeɪʃən/