MagicLogic
p = P["It's sunny."]
q = P["It's raining."]
r = P["It's cloudy."]
~(~p) >= p
# =>TRUE
(p * (p >= q)) >= q
# =>TRUE
((p >= q) * (q >= r)) >= (p >= r)
# =>TRUE
(~p * (p + q)) >= (q)
# =>TRUE
((p >= q) * (q >= r) * p) >= (r)
# =>TRUE
(p * ~p) >= r
# =>TRUE
Installation
Add this line to your application's Gemfile:
gem 'magic_logic'
And then execute:
$ bundle
Or install it yourself as:
$ gem install magic_logic
Usage
TODO: Write usage instructions here
Contributing
- Fork it ( https://github.com/[my-github-username]/magic_logic/fork )
- Create your feature branch (
git checkout -b my-new-feature
) - Commit your changes (
git commit -am 'Add some feature'
) - Push to the branch (
git push origin my-new-feature
) - Create a new Pull Request